Instance Verification Kit (IVK)
spin lock @ [62953+24+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
dwc2_cmpl_host_isoc_dma_desc
[22667+28+/linux-3.17-rc1/drivers/usb/dwc2/hcd_ddma.c]
dwc2_complete_isoc_xfer_ddma
[24407+28+/linux-3.17-rc1/drivers/usb/dwc2/hcd_ddma.c]
dwc2_complete_non_isoc_xfer_ddma
[30079+32+/linux-3.17-rc1/drivers/usb/dwc2/hcd_ddma.c]
dwc2_complete_non_periodic_xfer
[26355+31+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_complete_periodic_xfer
[28050+27+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_halt_channel
[24584+17+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_halt_status_ok
[51164+19+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_handle_common_intr
[13931+23+/linux-3.17-rc1/drivers/usb/dwc2/core_intr.c]
dwc2_handle_hcd_intr
[62733+20+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_handle_otg_intr
[3784+20+/linux-3.17-rc1/drivers/usb/dwc2/core_intr.c]
dwc2_hc_ack_intr
[39379+16+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_ahberr_intr
[45046+19+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_babble_intr
[44109+19+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_chhltd_intr
[58375+19+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_chhltd_intr_dma
[52894+23+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_frmovrun_intr
[49529+21+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_intr
[62337+12+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_n_intr
[58899+14+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_nak_intr
[37137+16+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_nyet_intr
[41792+17+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_stall_intr
[33918+18+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_xacterr_intr
[47851+20+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hc_xfercomp_intr
[30134+21+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_hcd_complete_xfer_ddma
[32319+27+/linux-3.17-rc1/drivers/usb/dwc2/hcd_ddma.c]
dwc2_hcd_disconnect
[8841+19+/linux-3.17-rc1/drivers/usb/dwc2/hcd.c]
dwc2_host_complete
[62484+18+/linux-3.17-rc1/drivers/usb/dwc2/hcd.c]
dwc2_kill_all_urbs
[6378+18+/linux-3.17-rc1/drivers/usb/dwc2/hcd.c]
dwc2_kill_urbs_in_qh_list
[4783+25+/linux-3.17-rc1/drivers/usb/dwc2/hcd.c]
dwc2_process_non_isoc_desc
[28290+26+/linux-3.17-rc1/drivers/usb/dwc2/hcd_ddma.c]
dwc2_qh_list_free
[5200+17+/linux-3.17-rc1/drivers/usb/dwc2/hcd.c]
dwc2_release_channel
[21682+20+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_update_isoc_urb_state
[17127+26+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]
dwc2_xfercomp_isoc_split_in
[28577+27+/linux-3.17-rc1/drivers/usb/dwc2/hcd_intr.c]